1. Finite automata, formal logic, and circuit complexity

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity

رده :
QA
76
.
9
.
M35S77

2. Logic and automata

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;